From Mathematical Functions to Programs
ثبت نشده
چکیده
@article{gdp:lcf-as-pl, author={Plotkin, G. D.}, title={LCF Considered as a Programming Language}, journal={Theoretical Computer Science}, pages={223--255}, year=1977 } Summary: Plotkin investigates the relation between the denotational and the operational semantics of a programming language. As a working example, he picks PCF a language based on Scott’s Logic of Computable Functions. He demonstrates that even though denotational and operational semantics are in agreement when it comes to how they map PCF programs to their results, elements of the denotational space cannot be expressed as PCF function definitions. Thus the equality of functions in the denotational space is different to contextual equivalence. Evaluation: This is a seminal paper. It is the first result on the relation between denotational and syntactic approaches to the semantics of programming languages. Moreover, it introduces the two fundamental properties that determine this relation: adequacy and full abstraction. Establishing the latter remained an open problem for PCF for more than a decade leading to a significant body of results including the invention of game semantics. Finally PCF itself has become an established and popular model of programming languages.
منابع مشابه
Multiple utility constrained multi-objective programs using Bayesian theory
A utility function is an important tool for representing a DM’s preference. We adjoin utility functions to multi-objective optimization problems. In current studies, usually one utility function is used for each objective function. Situations may arise for a goal to have multiple utility functions. Here, we consider a constrained multi-objective problem with each objective having multiple utili...
متن کاملAdding New Mathematical Functions and Statistical Distributions in WinBUGS
WinBUGS is one of the usual softwares in computational Bayesian statistics, which is used to fit Baysian models easily. Although this software has usual mathematical functions and statistical distributions as built in functions, sometimes it is necessary to include other functions and distributions in computations which is done by some tricks and indirectly. By using WinBUGS developmen...
متن کاملInfluence of awareness programs by media in the typhoid fever: a study based on mathematical modeling
In this paper, we propose and analyze a mathematical model describing the effect of awareness programs by public media on the prevalence of Typhoid fever. A threshold quantity $R_{0}$, similar to the basic reproduction number is derived. We investigate the biologically meaningful equilibrium points and their local stability analysis. The global stability analysis has been performed with respect...
متن کاملData-Driven Learning of Functions over Algebraic Datatypes from Input/Output-Examples
We describe a technique for inducing recursive functional programs over algebraic datatypes from few non-recursive and only positive ground example-equations. Induction is data-driven and based on structural regularities between example terms. In our approach, functional programs are represented as constructor term rewriting systems containing recursive rewrite rules. In addition to the example...
متن کامل